Une remarque sur la permanence des systèmes spatialisés

Caractérisation des paramètres d'Arthur‎, ‎une remarque

‎In The endoscopic classification of representations‎‎, ‎J‎. ‎Arthur has proved the Langlands' classification for discrete series of p-adic classical groups‎. ‎This uses endoscopy and twisted endoscopy‎. ‎In this very short note‎, ‎we remark that the normalization ‎$‎rm‎grave{a}‎$‎ la Langlands-Shahidi of the intertwining operators‎, ‎allows to avoid endoscopy‎. ‎This is based on the intertwini...

Vers une programmation des systèmes interactifs centrée sur la spécification de modèles exécutables

class Element { } class Edge extends Element { opt start :: Node.outgoing opt end :: Node.incoming } class Node extends Element { one label one x one y set outgoing :: Edge.start set incoming :: Edge.end } Les contenants de type set, opt et one sont utilisés pour représenter les propriétés (attributs et relations) modi ables des classes Graph, Node et E...

CAO : Une aide graphique à la modélisation des systèmes dynamiques

Maladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles

Une Approche d'Analyse du Code de la Cospécificaion et la Description des Composants Architecturaux pour la Conception des Systèmes Mixtes

Résumé-Nous présentons dans ce travail une approche automatique de haut niveau pour l’analyse de code de la cospécification java, et pour la description des composants qui composent l’architecture cible sur laquelle l’application s’exécute dessus. Dans ce contexte, nous avons développé deux outils pour extraire toutes les informations pertinentes concernant les entités matérielles et logicielle...